21. Dynamic Worlds
Author: edited by Remo Pareschi, Bertram Fronhöfer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).

22. Epistemic logic for AI and computer science
Author: Meyer, John-Jules Ch.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
M495
1995


23. Formal concept analysis
Author: Petko Valtchev, Robert Jeaschke (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
Classification :
QA
،
171
.
5
،.
I55
،
2011


24. Frontiers in Belief Revision
Author: edited by Mary-Anne Williams, Hans Rott.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic.

25. Fuzzy Databases :
Author: by Frederick E. Petry.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA8
.
9-10
.
3


26. Fuzzy Relational Systems
Author: by Radim Bělohlávek.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Systems theory.

27. Fuzzy Sets in Approximate Reasoning and Information Systems
Author: edited by James C. Bezdek, Didier Dubois, Henri Prade.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.

28. Fuzzy-neuro approach to agent applications :
Author: Raymond S.T. Lee.
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Intelligent agents (Computer software),Neural networks (Computer science),Fuzzy logic.,Artificial intelligence.
Classification :
QA76
.
76
.
I58
L446
2006


29. Fuzzy-neuro approach to agent applications: from the AI perspective to modern ontology
Author: Lee, Raymond S. T.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Intelligent agents )Computer software(,، Neural networks )Computer science(,، Fuzzy logic,، Artificial intelligence
Classification :
QA
76
.
76
.
I58
L446


30. Granular Computing
Author: by Andrzej Bargiela, Witold Pedrycz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.

31. Graph Structures for Knowledge Representation and Reasoning
Author: edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence,Computer science,Computer software,Logic design,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Techniques

32. Implementation and Application of Functional Languages
Author: edited by Sven-Bodo Scholz, Olaf Chitil.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.,Software engineering.

33. Implementation and Application of Functional Languages
Author: edited by Marco T. Morazán, Sven-Bodo Scholz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.,Software engineering.

34. Intuitionistic Fuzzy Sets
Author: by Krassimir T. Atanassov.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Economics.,Logic, Symbolic and mathematical.

35. KI 2015
Author: \ [edited by] Steffen Hölldobler...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگرهها
Classification :
Q
336
.
K5
2015
E-Book
,


36. Knowledge Representation and Defeasible Reasoning
Author: edited by Henry E. Kyburg, Ronald P. Loui, Greg N. Carlson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic.
Classification :
Q335
.
E358
1990


37. Logic-Based Program Synthesis and Transformation
Author: edited by María Alpuente.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.

38. Logic Program Synthesis and Transformation :
Author: edited by Maurizio Proietti.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.

39. Logic Programming and Nonmonotonic Reasoning :
Author: edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

40. Logic : a foundation for computer science
Author: Sperschneider, V.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
S64

